On Subrecursive Representability of Irrational Numbers, Part II

نویسنده

  • Lars Kristiansen
چکیده

We consider various ways to represent irrational numbers by subrecursive functions. An irrational number can be represented by its base-b expansion; by its base-b sum approximation from below; and by its base-b sum approximation from above. Let S be a class of subrecursive functions, e.g., the class the primitive recursive functions. The set of irrational numbers that can be obtained by functions from S depends on the representation and the base b. We compare the sets obtained by different representations and bases. We also discuss how representations by base-b expansions and sum approximations relates to representations by Cauchy sequences and Dedekind cuts.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On subrecursive representability of irrational numbers

We consider various ways to represent irrational numbers by subrecursive functions: via Cauchy sequences, Dedekind cuts, trace functions, several variants of sum approximations and continued fractions. Let S be a class of subrecursive functions. The set of irrational numbers that can be obtained with functions from S depends on the representation. We compare the sets obtained by the different r...

متن کامل

The Decidable Properties of Subrecursive Functions

What can be decided or semidecided about a primitive recursive function, given a definition of that function by primitive recursion? What about subrecursive classes other than primitive recursive functions? We provide a complete and explicit characterization of the decidable and semidecidable properties. This characterization uses a variant of Kolmogorov complexity where only programs in a subr...

متن کامل

Beyond first order logic: From number of structures to structure of numbers: Part II

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...

متن کامل

Representability of binary relations through fuzzy numbers

Weanalyse the representability of different classes of binary relations on a set bymeans of suitable fuzzy numbers. In particular, we show that symmetric triangular fuzzy numbers can be considered as the best codomain to represent interval orders. We also pay attention to the representability of other classes of acyclic binary relations. © 2005 Elsevier B.V. All rights reserved.

متن کامل

Uniform spectral properties of one-dimensional quasicrystals, II. The Lyapunov exponent

In this paper we introduce a method that allows one to prove uniform local results for one-dimensional discrete Schrödinger operators with Sturmian potentials. We apply this method to the transfer matrices in order to study the Lyapunov exponent and the growth rate of eigenfunctions. This gives uniform vanishing of the Lyapunov exponent on the spectrum for all irrational rotation numbers. For i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017